Drawing on a landscape analysis of existing data-sharing initiatives, in-depth interviews with expert stakeholders, and public deliberations with community advisory panels across the U.S., we describe features of the evolving medical information commons. We identify participant-centricity and trustworthiness as the most important features of an MIC and discuss the implications for those seeking to create a sustainable, useful, and widely available collection of linked resources for research and other purposes.

Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.

In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...) and preservation under ultrafilter extensions are introduced and studied as well. (shrink)

The current debate regarding the suitability of anencephalics as organ donors is due primarily to misunderstandings. The anatomical and neurophysiological literature shows that the anencephalic lacks a cerebrum because of the failure of neuralplate fusion. However, even the incomplete function of an atrophic brain stem is currently accepted at law in most if not all countries as sufficient for brain life: which is to say, cessation of breathing is currently required in order to make the diagnosis of brain death. Because (...) of the extensive incompleteness of the anencephalic's brain, it is not possible to postpone death significantly by mechanical ventilation and intravenous feeding. It is acceptable to maintain life for a short period of time in order to allow organ transplantation subsequent to the declaration of death at the point of cessation of the capacity for spontaneous respiration. The most important issue is not transplantation, but the issue of brain life raised by the case of anencephalics. Since brain life in any significant sense begins only after the closure of the neural tube on the 30th day after conception, it is reasonable to take this as the point at which brain life begins. Laws should be amended in all countries to allow the abortion of anencephalics at any time, in that they do not at any time possess brain life. (shrink)

In this paper we examine the case of Tay, the Microsoft AI chatbot that was launched in March, 2016. After less than 24 hours, Microsoft shut down the experiment because the chatbot was generating tweets that were judged to be inappropriate since they included racist, sexist, and anti-Semitic language. We contend that the case of Tay illustrates a problem with the very nature of learning software that interacts directly with the public, and the developer's role and responsibility associated with it. (...) We make the case that when LS interacts directly with people or indirectly via social media, the developer has additional ethical responsibilities beyond those of standard software. There is an additional burden of care. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. completeness, first-order completeness, canonicity and possession of the finite model property -- and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability and (...) preservation under ultrafilter extensions are introduced and studied as well. (shrink)

We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

To many who develop and use free software, the GNU General Public License represents an embodiment of the meaning of free software. In this paper we examine the definition and meaning of free software in the context of three events surrounding the GNU General Public License. We use a case involving the GPU software project to establish the importance of Freedom 0 in the meaning of free software. We analyze version 3 of the GNU General Public License and conclude that (...) although a credible case can be made that the added restrictions are consistent with the definition of free software, the case requires subtle arguments. Strong arguments against the added restrictions are less subtle, and may therefore be more convincing to many users and developers. We also analyze the Affero General Public License and conclude that it is inconsistent with the definition of free software. (shrink)

Rogers, C. R. and Skinner, B. F. Some issues concerning the control of human behavior.--Broudy, H. S. Didactics, heuristics, and philetics.--Craig, R. An analysis of the psychology of moral development of Lawrence Kohlberg.--Scudder, J. R., Jr. Freedom with authority: a Buber model for teaching.--Hook, S. Some educational attitudes and poses.--Strike, K. A. Freedom, autonomy, and teaching.--Elkind, D. Piaget and Montessori.--Raywid, M. A. Irrationalism and the new reformism.--Doll, W. E., Jr. A methodology of experience: the process of inquiry.--Neff, F. C. (...) Competency-based teaching and trained fleas.--Brown, A. "What could be bad?" Some reflections on the accountability movement. (shrink)

Apart from the names of Jan Baudouin de Courtenay (1845-1929), Mikołaj Kruszewski (1851-1887), and, later, Jerzy Kuryłowicz (1895-1978), Polish linguists and Polish linguistics generally have been little known in the West. The first two were mentioned with approval by Saussure in an unpublished paper, and this reference was picked up by Roman Jakobson and others many years later. Kuryłowicz, for his part, made himself well known in the West through his important work as Indo-Europeanist, even Semiticist, and as a general (...) linguist. The present volume is a first attempt to broaden the perspectives on the Polish contribution to linguistics both inside and outside of Poland during the past centuries. Specialists in their respective fields contributed chapters on the origins and development of general linguistics (Z. Wąsik), applied linguistics (F. Grucza), lexicology (T. Piotrowski), dialectology (St. Gogolewski), and onomastics (S. Gala), followed by five chapters presenting the theories of the arguably most remarkable Polish linguistic thinkers, from Baudouin de Courtenay (A. Adamska-Sałaciak), Kruszewski (F. M. Berezin), and Kuryłowicz (W. Smoczyński) to Mikołaj Rudnicki (1881-1978) and Ludwik Zabrocki (1907-1977) (both written by J. Bańczerowski). Detailed individual bibliographies, a full index of names (with life dates of Polish linguists from the Renaissance to the present day), and a thorough index of subjects and terms make this volume an important reference tool for anyone wishing to acquaint himself with the rich heritage of Polish linguistic thought. (shrink)